These are the binaries generated by Arduino IDE. They are in hex format, and therefore bigger than the actual binary that gets uploaded to the Arduino.